Ioan Vasile, Cristian: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Reactive sampling-based path planning with temporal logic specifications

Vasile, Cristian Ioan, Li, Xiao, Belta, Calin

Journal:

Internatinal Journal of Robotics Research

Year:

2020

File:

PDF, 7.42 MB

2020

2

Insights on Trichinella -infection in domestic pigs and hunted game, on 2011–2015 period, in Romania

Buzatu, Cristian Vasile, Nicorescu, Isabela Madalina, Mitrea, Ioan Liviu, Ionita, Mariana

Journal:

Journal of Biotechnology

Year:

2017

Language:

english

File:

PDF, 57 KB

english, 2017

3

Time Window Temporal Logic

Vasile, Cristian-Ioan, Aksaray, Derya, Belta, Calin

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 519 KB

english, 2017

4

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection

Pierson, Alyssa, Vasile, Cristian-Ioan, Gandhi, Anshula, Schwarting, Wilko, Karaman, Sertac, Rus, Daniela

Year:

2019

Language:

english

File:

PDF, 2.70 MB

english, 2019

5

[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications

Vasile, Cristian-Ioan, Raman, Vasumathi, Karaman, Sertac

Year:

2017

Language:

english

File:

PDF, 566 KB

english, 2017

6

[IEEE 2015 European Control Conference (ECC) - Linz, Austria (2015.7.15-2015.7.17)] 2015 European Control Conference (ECC) - SE(N) invariance in networked systems

Vasile, Cristian-Ioan, Schwager, Mac, Belta, Calin

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

7

Universality of Enzymatic Numerical P systems

Ioan Vasile, Cristian, Brânduşa Pavel, Ana, Dumitrache, Ioan

Journal:

International Journal of Computer Mathematics

Year:

2013

Language:

english

File:

PDF, 282 KB

english, 2013

8

A Mathematical Model for the Epidemiological Analysis of Trichinella - Infection in Pigs

Nicorescu, Isabela Madalina Dragoi, Ionita, Mariana, Ciupescu, Laurentiu, Buzatu, Cristian Vasile, Tanasuica, Rodica, Mitrea, Ioan Liviu

Journal:

Agriculture and Agricultural Science Procedia

Year:

2015

Language:

english

File:

PDF, 240 KB

english, 2015

9

Avaliação imuno‐histoquímica comparativa do efeito da anestesia repetitiva com isoflurano e sevoflurano sobre o fígado de rato

Ruxanda, Flavia, Gal, Adrian Florin, Raţiu, Cristian, Miclăuş, Viorel, Rus, Vasile, Oana, Liviu Ioan

Journal:

Brazilian Journal of Anesthesiology

Year:

2016

File:

PDF, 1.42 MB

2016

10

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - Reactive sampling-based temporal logic path planning

Vasile, Cristian Ioan, Belta, Calin

Year:

2014

Language:

english

File:

PDF, 556 KB

english, 2014

11

On the power of enzymatic numerical P systems

Cristian Ioan Vasile, Ana Brânduşa Pavel, Ioan Dumitrache, Gheorghe Păun

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 416 KB

english, 2012

12

Comparative immunohistochemical assessment of the effect of repetitive anesthesia with isoflurane and sevoflurane on rat liver

Ruxanda, Flavia, Gal, Adrian Florin, Raţiu, Cristian, Miclăuş, Viorel, Rus, Vasile, Oana, Liviu Ioan

Journal:

Brazilian Journal of Anesthesiology (English Edition)

Year:

2015

File:

PDF, 1.54 MB

2015

13

[IEEE 2018 IEEE International Conference on Robotics and Automation (ICRA) - Brisbane, Australia (2018.5.21-2018.5.25)] 2018 IEEE International Conference on Robotics and Automation (ICRA) - Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand

Karlsson, Jesper, Vasile, Cristian-Ioan, Tumova, Jana, Karaman, Sertac, Rus, Daniela

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

14

Designing a Sustainable Temporary Grassland System by Monitoring Nitrogen Use Efficiency

MÄlinas, Anamaria, Rotar, Ioan, Vidican, Roxana, Iuga, Vasile, PÄcurar, Florin, MÄlinas, Cristian, Moldovan, Cristina

Journal:

Year:

2020

File:

PDF, 894 KB

2020

15

Micellization Process in Poly(Ether Urethane) Solutions

Lupu, Mihaela, Macocinschi, Doina, Epure, Virginia, Ioanid, Aurelia, Grigoras, Cristian Vasile, Ioan, Silvia

Journal:

Journal of Macromolecular Science Part B

Year:

2006

Language:

english

File:

PDF, 327 KB

english, 2006

16

[IEEE 2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM) - Brasov, Romania (2012.05.24-2012.05.26)] 2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM) - Tubular transverse flux variable reluctance motor in modular construction

Popa, Dan-Cristian, Gliga, Vasile-Ioan, Szabo, Lorand, Iancu, Vasile

Year:

2012

Language:

english

File:

PDF, 971 KB

english, 2012

17

Control in belief space with temporal logic specifications using vision-based localization

Leahy, Kevin, Cristofalo, Eric, Vasile, Cristian-Ioan, Jones, Austin, Montijano, Eduardo, Schwager, Mac, Belta, Calin

Journal:

Internatinal Journal of Robotics Research

Year:

2019

Language:

english

File:

PDF, 11.59 MB

english, 2019

18

Coexistence with Bears in Romania: A Local Community Perspective

StÄncioiu, Petru Tudor, DutcÄ, Ioan, BÄlÄcescu, Marian Cristian, Ungurean, Ètefan Vasile

Journal:

Year:

2019

Language:

english

File:

PDF, 1.34 MB

english, 2019

19

New insights into the molecular epidemiology of Trichinella infection in domestic pigs, wild boars, and bears in Romania

Nicorescu, Isabela Madalina Dragoi, Ionita, Mariana, Ciupescu, Laurentiu, Buzatu, Cristian Vasile, Tanasuica, Rodica, Mitrea, Ioan Liviu

Journal:

Veterinary Parasitology

Year:

2015

Language:

english

File:

PDF, 749 KB

english, 2015

20

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Sampling-based temporal logic path planning

Vasile, Cristian Ioan, Belta, Calin

Year:

2013

Language:

english

File:

PDF, 1.33 MB

english, 2013

21

Electropolymerized molecular imprinting on glassy carbon electrode for voltammetric detection of dopamine in biological samples

Kiss, Laszlo, David, Vasile, David, Iulia Gabriela, Lazăr, Paul, Mihailciuc, Constantin, Stamatin, Ioan, Ciobanu, Adela, Ştefănescu, Cristian Dragoş, Nagy, Livia, Nagy, Géza, Ciucu, Anton Alexandru

Journal:

Year:

2016

Language:

english

File:

PDF, 1.04 MB

english, 2016

22

[IEEE 2018 12th International Conference on Communications (COMM) - Bucharest (2018.6.14-2018.6.16)] 2018 International Conference on Communications (COMM) - Microstrip Patch Antenna for WiMAX Applications

Cristian, Raicu Vasile, Ioan, Nicolaescu

Year:

2018

Language:

english

File:

PDF, 389 KB

english, 2018

23

THEORETICAL AND EXPERIMENTAL STUDY OF A MODULAR TUBULAR TRANSVERSE FLUX RELUCTANCE MACHINE

Popa, Dan-Cristian, Gliga, Vasile-Ioan, Szabo, Lorand

Journal:

Progress In Electromagnetics Research

Year:

2013

Language:

english

File:

PDF, 591 KB

english, 2013

24

Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior

Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark, Rus, Daniela

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 1.00 MB

2020

25

PyElph - a software tool for gel images analysis and phylogenetics

Ana Brânduşa Pavel, Cristian Ioan Vasile

Journal:

BMC Bioinformatics

Year:

2012

Language:

english

File:

PDF, 570 KB

english, 2012

26

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Average-based Robustness for Continuous-Time Signal Temporal Logic

Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, Calin

Year:

2019

File:

PDF, 815 KB

2019

27

Influence of two structural phases of Fe 3 O 4 and γ-Fe 2 O 3 on the properties of polyimide/iron oxide composites

Nica, Simona-Luminita, Nica, Valentin, Grigoras, Vasile Cristian, Varganici, Cristian-Dragos, Popovici, Dumitru, Hulubei, Camelia, Ioan, Silvia

Journal:

Polymer International

Year:

2015

Language:

english

File:

PDF, 879 KB

english, 2015

28

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Metrics for Signal Temporal Logic Formulae

Madsen, Curtis, Vaidyanathan, Prashant, Sadraddini, Sadra, Vasile, Cristian-Ioan, DeLateur, Nicholas A., Weiss, Ron, Densmore, Douglas, Belta, Calin

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

29

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints

Leahy, Kevin, Zhou, Dingjiang, Vasile, Cristian-Ioan, Oikonomopoulos, Konstantinos, Schwager, Mac, Belta, Calin

Journal:

Autonomous Robots

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

30

The Effects of Flavonoids in Cardiovascular Diseases

CiumÄrnean, Lorena, Milaciu, Mircea Vasile, Runcan, Octavia, Vesa, Ètefan Cristian, RÄchiÈan, Andreea Liana, Negrean, Vasile, PernÃ©, Mirela-Georgiana, Donca, Valer Ioan, Alexescu, Teodora-Gabriel

Journal:

Year:

2020

File:

PDF, 297 KB

2020

31

Enhancing Oxidative Dehydrogenation Selectivity of Ceria-Based Catalysts with Phosphorus as Additive

Trotuş, Ioan-Teodor, Teodorescu, Cristian M., Pârvulescu, Vasile I., Marcu, Ioan-Cezar

Journal:

Year:

2013

Language:

english

File:

PDF, 543 KB

english, 2013

32

[IEEE 2019 American Control Conference (ACC) - Philadelphia, PA, USA (2019.7.10-2019.7.12)] 2019 American Control Conference (ACC) - Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, Calin

Year:

2019

File:

PDF, 439 KB

2019

33

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Control in belief space with Temporal Logic specifications

Vasile, Cristian-Ioan, Leahy, Kevin, Cristofalo, Eric, Jones, Austin, Schwager, Mac, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

34

[IEEE 2016 IEEE International Conference on Robotics and Automation (ICRA) - Stockholm, Sweden (2016.5.16-2016.5.21)] 2016 IEEE International Conference on Robotics and Automation (ICRA) - Dynamic routing of energy-aware vehicles with Temporal Logic Constraints

Aksaray, Derya, Vasile, Cristian-Ioan, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 2.43 MB

english, 2016

35

[IEEE 2017 IEEE International Conference on Robotics and Automation (ICRA) - Singapore, Singapore (2017.5.29-2017.6.3)] 2017 IEEE International Conference on Robotics and Automation (ICRA) - Minimum-violation scLTL motion planning for mobility-on-demand

Vasile, Cristian-Ioan, Tumova, Jana, Karaman, Sertac, Belta, Calin, Rus, Daniela

Year:

2017

Language:

english

File:

PDF, 917 KB

english, 2017

36

Construction of a New Type of Modular Tubular Machine

Popa, Dan Cristian, Gliga, Vasile Ioan, Szabo, Lorand

Journal:

Advanced Engineering Forum

Year:

2013

Language:

english

File:

PDF, 1.28 MB

english, 2013

37

[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Reinforcement learning with temporal logic rewards

Li, Xiao, Vasile, Cristian-Ioan, Belta, Calin

Year:

2017

Language:

english

File:

PDF, 1.84 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски